void learner_deliver();
double getMiliSeconds();
void acceptor_0_deliver(int instance_number, int value);
void recv_new_packet_from_predecessor(int sd, short event, void * arg);
void recv_lost_packet_from_acceptor_via_tcp(int sd, short event, void *arg);
void lp_handel_case_a_inst(inst * new_data);
void lp_handel_case_b_notification(inst * new_data);
void lp_handel_case_c_pmsg(inst * new_data);
